Дедеки́ндово сече́ние — один из способов построения вещественных чисел из рациональных.